Nonindexical Context-Dependence and the Interpretation as Abduction Approach Inclusive nonindexical context-dependence occurs when the preferred interpretation of an utterance implies its lexically-derived meaning. It is argued that the corresponding processes of free or lexically mandated enrichment can be modeled as abductive inference. A form of abduction is implemented in Simple Type Theory on the basis of a notion of plausibility, which is in turn regarded a preference relation over possible worlds. Since a preordering of doxastic alternatives taken for itself only (...) amounts to a relatively vacuous ad hoc model, it needs to be combined with a rational way of learning from new evidence. Lexicographic upgrade is implemented as an example of how an agent might revise his plausibility ordering in light of new evidence. Various examples are given how this apparatus may be used to model the contextual resolution of context-dependent or semantically incomplete utterances. The described form of abduction is limited and merely serves as a proof of concept, but the idea in general has good potential as one among many ways to build a bridge between semantics and pragmatics since inclusive context-dependence is ubiquitous. (shrink)

Since the late 1970s, various attempts have been made to organize the scientific instruments used in research carried out at the University of Toronto into a catalogued, protected, and accessible collection. Unlike other major research universities with which Toronto compares itself, such as Harvard, Yale, Oxford and Cambridge, to name only a few, these efforts have not been successful. The failure to implement even a modest campus-wide program to safeguard the university's material heritage has had unfortunate consequences. Nevertheless, a great (...) deal of material survives. In the following paper, we examine the circumstances of the historical instruments at the University of Toronto. We argue that this university's scientific instruments are an essential piece of its identity and history. Finally, we propose a practical bottom up approach through which the current collection can be stabilized and secured (with new instruments added) so that future students can reflect on today's research with the benefit of a rich and well-documented collection. (shrink)

Integrative experiment design is a needed improvement over ad hoc experiments, but the specific proposed method has limitations. We urge a further break with tradition through the use of an enormous untapped resource: Decades of causal discovery artificial intelligence (AI) literature on optimizing the design of systematic experimentation.

It is a classical result of Mortimer that $L^2$ , first-order logic with two variables, is decidable for satisfiability. We show that going beyond $L^2$ by adding any one of the following leads to an undecidable logic:– very weak forms of recursion, viz.¶(i) transitive closure operations¶(ii) (restricted) monadic fixed-point operations¶– weak access to cardinalities, through the Härtig (or equicardinality) quantifier¶– a choice construct known as Hilbert's $\epsilon$ -operator.In fact all these extensions of $L^2$ prove to be undecidable both for satisfiability, (...) and for satisfiability in finite structures. Moreover most of them are hard for $\Sigma^1_1$ , the first level of the analytical hierachy, and thus have a much higher degree of undecidability than first-order logic. (shrink)

In general, there is only one fuzzy logic in which the standard interpretation of the strong conjunction is a strict triangular norm, namely, the product logic. We study several equations which are satisfied by some strict t-norms and their dual t-conorms. Adding an involutive negation, these equations allow us to generate countably many logics based on strict t-norms which are different from the product logic.

This paper explores Erich Fromm’s contribution to Deweyan democratic education by referring to his psychoanalytic interpretation of John Dewey’s pragmatic theory. First, it employs the work by Gert Biesta to secure a space between critical pedagogy and Deweyan democratic education, from which Fromm’s theory can be discussed. Furthermore, it argues that Biesta’s perspective offers a valuable theoretical ground to extend the emancipatory potential of Deweyan democratic education, while avoiding some pitfalls of critical pedagogy. Subsequently, the paper contrasts Marcuse’s and (...) Fromm’s views on Dewey to show how Fromm’s understanding of Dewey was more effective than that of Marcuse for developing the potential of Dewey’s philosophy. Next, the paper clarifies key similarities and differences between Fromm’s psychoanalysis and Dewey’s pragmatism, as it is applicable specifically to emancipatory education. Finally, the paper argues that despite the differences between these two thinkers, Fromm’s theory further radicalizes Deweyan democratic education by adding new elements to the list of preconditions on the role of the emancipatory teacher. (shrink)

Kingship in Kaśmīr, from the Pen of Jonarāja, Court Paṇḍit to Sulṭān Zayn al- ‘Ābidīn, Critically Edited with Annotated Translation, Indexes and Maps. By Walter Slaje. Studia Indologica Universitatis Halensis, vol. 7. Halle an der Saale: Universitätsverlag Halle- Wittenberg, 2014. Pp. 326, 1 pl, maps. €78.

Series: Studies in Theology and Religion (STAR), Am 15. April 1799 beendete Friedrich Schleiermacher seine "Reden über die Religion". Die rhetorisch und stilistisch sehr geschickt verfasste (und anonym veröffentlichte) Erstlingsschrift des später berühmten Predigers, Universitätsprofessors und Schriftstellers hat bis heute ihre Anziehungkraft behalten. Aus Anlass der Zweihundertjahrfeier hat die Niederländische Forschungsgesellschaft für Theologie und Religionswissenschaften (NOSTER) zusammen mit der Theologischen Fakultät Tilburg einen Studientag veranstaltet. Zwei Ziele wurden dabei verfolgt: erstens die Situierung der "Reden" in ihrer Entstehungszeit und in der (...) heutigen Zeit sowie zweitens die systematisch-theologische Vertiefung zentraler Themen der "Reden", Schleiermachers Verständnis der Religion in der 2. Rede und seine Christologie in der 5. Rede. Dieser Band enthält die Beiträge zu dieser Tagung und ein Protokoll der spannungsreichen Diskussion, verfasst von Nico Schreurs (Tilburg), das auf viele Forschungsergebnisse und Forschungsdesiderate hinweist. Die Beiträge stammen von Günter Meckenstock, Herausgeber der Kritischen Schleiermacherausgabe und renommierter Kenner der historischen Lage um 1800, Ad Willems, Übersetzer der "Reden" ins Niederländische, Christian Albrecht (Tübingen, jetzt Bochum) und Claus-Dieter Osthövener (Halle an der Saale). Inhalt Die Aufnahme der "Reden" in Schleiermachers Zeitgenossenschaft Günter Meckenstock Zur Aktualität von Schleiermachers "Reden" aus dem Jahre 1799: Ein kontextueller Deutungsversuch Ad Willems Die Ermöglichung von Korrelativität: Religion als "Anschauung und Gefühl" in Schleiermachers zweiter Rede Christian Albrecht Die Christologie der "Reden" Claus-Dieter Osthövener Religion als Ausdruck des gestimmten Gefühls: Schleiermachers. Sicht der religiösen Erfahrung in den "Reden" Wessel Stoker "... etwas ausser und über der Menschheit... " Schleiermachers Religionsbegriff in den "Reden". Postmodernismus avant la lettre? Dick Boer Die Präsenz Spinozas in Schleiermachers "Reden" Rinse Reeling Brouwer Von einer romantischen hin zu einer transzendental-philosophischen Bewusstseinstheorie Jacques Laurent Das Tilburger Symposium über Schleiermachers "Reden" Protokoll der Diskussion Nico Schreurs NAMENREGISTER. (shrink)

The Rhetorical Presidency, with its critique of Richard Neustadt’s Presidential Power, exemplifies the sectarian strife that sometimes marks presidency studies. Yet Tulis’s own layered‐text metaphor, in which the rhetorical presidency is superimposed upon the earlier constitutional office, also suggests how different approaches to the presidency can build upon each other. To the most foundational approach—the constitutional level of analysis—can be added historical, institutional, organizational, and operational layers. This pyramidal model places Neustadt’s operational analysis in an appropriate position: subordinate, (...) but still valuable. (shrink)

We introduce an atomic formula ${\vec{y} \bot_{\vec{x}}\vec{z}}$ intuitively saying that the variables ${\vec{y}}$ are independent from the variables ${\vec{z}}$ if the variables ${\vec{x}}$ are kept constant. We contrast this with dependence logic ${\mathcal{D}}$ based on the atomic formula = ${(\vec{x}, \vec{y})}$ , actually equivalent to ${\vec{y} \bot_{\vec{x}}\vec{y}}$ , saying that the variables ${\vec{y}}$ are totally determined by the variables ${\vec{x}}$ . We show that ${\vec{y} \bot_{\vec{x}}\vec{z}}$ gives rise to a natural logic capable of formalizing basic intuitions about independence and dependence. (...) We show that ${\vec{y} \bot_{\vec{x}}\vec{z}}$ can be used to give partially ordered quantifiers and IF-logic an alternative interpretation without some of the shortcomings related to so called signaling that interpretations using = ${(\vec{x}, \vec{y})}$ have. (shrink)

Book reviewed in this article: For the Patient's Good: The Restoration of Beneficence in Health Care. By Edmund D. Pellegrino and David C. Thomasma.

Publisher's Foreword As the present book is reissued, The American Mental Health Foundation celebrates its 86th anniversary. Organized in 1924, AMHF is ...

Man : wolf or sheep? -- Different forms of violence -- Love of death and love of life -- Individual and social narcissism -- Incestuous ties -- Freedom, determinism, alternativism.

Guarded fragments of first-order logic were recently introduced by Andreka, van Benthem and Nemeti; they consist of relational first-order formulae whose quantifiers are appropriately relativized by atoms. These fragments are interesting because they extend in a natural way many propositional modal logics, because they have useful model-theoretic properties and especially because they are decidable classes that avoid the usual syntactic restrictions (on the arity of relation symbols, the quantifier pattern or the number of variables) of almost all other known decidable (...) fragments of first-order logic. Here, we investigate the computational complexity of these fragments. We prove that the satisfiability problems for the guarded fragment (GF) and the loosely guarded fragment (LGF) of first-order logic are complete for deterministic double exponential time. For the subfragments that have only a bounded number of variables or only relation symbols of bounded arity, satisfiability is EXPTIME-complete. We further establish a tree model property for both the guarded fragment and the loosely guarded fragment, and give a proof of the finite model property of the guarded fragment. It is also shown that some natural, modest extensions of the guarded fragments are undecidable. (shrink)

We identify the computational complexity of the satisfiability problem for FO 2 , the fragment of first-order logic consisting of all relational first-order sentences with at most two distinct variables. Although this fragment was shown to be decidable a long time ago, the computational complexity of its decision problem has not been pinpointed so far. In 1975 Mortimer proved that FO 2 has the finite-model property, which means that if an FO 2 -sentence is satisfiable, then it has a finite (...) model. Moreover, Mortimer showed that every satisfiable FO 2 -sentence has a model whose size is at most doubly exponential in the size of the sentence. In this paper, we improve Mortimer's bound by one exponential and show that every satisfiable FO 2 -sentence has a model whose size is at most exponential in the size of the sentence. As a consequence, we establish that the satisfiability problem for FO 2 is NEXPTIME-complete. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:Kant-Index: Band 5: Stellenindex und Konkordanz zur "Wiener Logik,"Riccardo PozzoNorbert Hinske. Kant-Index: Band 5: Stellenindex und Konkordanz zur "Wiener Logik," Erstellt in Zusammenarbeit mit Heinrich P. Delfosse und Michael Oberhausen unter Mitwirkung von Hans-Werner Bartz, Christian Popp, Tina Strauch und Michael Trauth. Bad Cannstatt: frommann-holzboog, 1999. Pp. Cxiii + 865.The Wiener Logik has long led a shadowy existence. This has nothing to do with the quality of the (...) text, but rather with accidental conditions. When the manuscript of the Wiener Logik was discovered in 1913, the planning of the Akademie-Ausgabe of Kant's complete works had already been largely completed and eight volumes of the works, three of the correspondence and two of the Nachlaß were published. Erich Adickes' edition of Kant's Reflexionen über die Logik appeared in 1914. Hinske suggests that, had Adickes considered it, the Wiener Logik would have played a valuable role in integrating Kant's reflections (xi). This double-volume makes up for all this by highlighting the relevance of this lecture transcript with special reference to Kant's Critique of Pure Reason, which is close to it not only in time but also systematically. It contains a lemmatized main index that makes a recognition of the language of the logic course possible and a concordance that allows one to check the corresponding passages. The introduction and more than twenty pages of editorial notes elaborate on the relationship of the Wiener Logik to other Kantian texts while correcting and integrating the references to sources indicated in its 1966 edition by Gerhard Lehmann within the Akademie-Ausgabe (lxxii-xcvi). At the same time, the index correcs more than one hundred fifty errors of the 1966 edition (lviii-lxvii).The Wiener Logik was translated into English by J. Michael Young in the volume of The Cambridge Edition of the Works of Immanuel Kant dedicated to the Lectures on Logic (Cambridge: Cambridge University Press, 1992, 251-377). Young made clear that the Wiener Logik is constituted by two different parts (ibid., xxv f.). In fact the manuscript shows a first part written by the hand of a professional copyist, which covers Kant's course until almost the end of the theory of judgement (Akademie-Ausgabe, vol. 24, 790-937), and a second part constituted by a single page written by another hand (probably a student while sitting in Kant's classroom), which deals with the very end of the theory of judgement and the beginning of the theory of syllogism (ibid., 937-40). One needs to recall, though, that the text of the Wiener Logik is incomplete, given that a large part of the theory of syllogism as well as the theory of method, of discourse and of character are missing. The first part of the Wiener Logik shows several parallels with the edited fragments of the Logik Hoffmann (ibid., 944-52), while the second part shows parallels with the Logik Hechsel, which was discovered in 1983 and has recently been made accessible by Tilman Pinder (cf. Logik-Vorlesungen: Unveröffentliche Nachschriften, Hamburg: Meiner, 1998, 271-499). In fact, J. Michael Young found it convenient to complete his translation of the missing parts of the Wiener Logik by the attaching to it the corresponding parts of the Logik Hechsel (cf. Lectures on Logic, 381-423).Hinske provides new arguments as regards the dating of the Wiener Logik by objecting to both the late dating to the nineties suggested by Wilhelm Jerusalem and the early dating before 1781 by Reinhard Brandt and Tilman Pinder. Hinske remarks that while for the terminus ad quem one should consider the years indicated on the frontispice (1794 [End Page 284] and 1796), the terminus a quo should be set after the final redaction of the Critique of Pure Reason (xxiii f.). Following Hinske's lead and on the basis of an accurate examination on the cross-references between the texts, Bruno Bianco has proposed that the terminus a quo be set not before the publication of Kant's Critique of Pure Reason (cf. the Italian translation edited by Bianco, Milan: Angeli, forthcoming).What makes the Wiener Logik and this index particularly interesting for Kant... (shrink)

In this essay we develop and argue for the adoption of a more comprehensive model of research ethics than is included within current conceptions of responsible conduct of research (RCR). We argue that our model, which we label the ethical dimensions of scientific research (EDSR), is a more comprehensive approach to encouraging ethically responsible scientific research compared to the currently typically adopted approach in RCR training. This essay focuses on developing a pedagogical approach that enables scientists to better understand and (...) appreciate one important component of this model, what we call intrinsic ethics . Intrinsic ethical issues arise when values and ethical assumptions are embedded within scientific findings and analytical methods. Through a close examination of a case study and its application in teaching, namely, evaluation of climate change integrated assessment models, this paper develops a method and case for including intrinsic ethics within research ethics training to provide scientists with a comprehensive understanding and appreciation of the critical role of values and ethical choices in the production of research outcomes. (shrink)

This paper is the second in a two-part series in which we discuss several notions of completeness for systems of mathematical axioms, with special focus on their interrelations and historical origins in the development of the axiomatic method. We argue that, both from historical and logical points of view, higher-order logic is an appropriate framework for considering such notions, and we consider some open questions in higher-order axiomatics. In addition, we indicate how one can fruitfully extend the usual set-theoretic semantics (...) so as to shed new light on the relevant strengths and limits of higher-order logic. (shrink)

Consider two commonly cited requirements of love. The first is that we should love people for who they are. The second is that loving people should involve concern for their well-being. But what happens when an aspect of someone’s identity conflicts with her well-being? In examining this question, I develop an account of loving someone in spite of something. Although there are cases where loving in spite of is merited, I argue that we generally do wrong to love people in (...) spite of who they are, even where it appears that some aspect of their identity is in tension with their well-being. (shrink)

This paper argues that we have wrongly and not for the patient’s benefit made a form of stark autonomy our highest value which allows physicians to slip out from under their basic duty which has always been to pursue a particular patient’s good. In general – I shall argue – it is the patient’s right to select his or her own goals and the physician’s duty to inform the patient of the feasibility of that goal and of the means needed (...) to attain it. If the goal is not one that is possible, the patient, with the physician and family, must select a feasible goal and then discuss the costs/benefits of various approaches. The physician should take a leading role in helping the patient select the goal. I argue that to simply present a laundry list of means and insist that patients choose for themselves is not only abandoning patients to their autonomy but is, in fact, a crass form of violating the patient’s autonomy. Freely choosing not to choose is a choice a patient with decisional capacity is entitled to make and one that needs to be respected. (shrink)

"Death is a subject which has always been high on the philosophical agenda. But strangely enough the historically and traditionally most important aspect of that subject - the so-called transcendent problem of death, i.e. the question of what actually happens to mind or consciousness after physical death - is almost taboo-laden within modern academic philosophy." "It is, however, the contention of this book that a discussion of the transcendent problem of death makes good sense even on contemporary premises, granted the (...) fulfillment of certain preconditions that should not be rejected offhand." "The main parts of this book deal with questions concerning the viability of preconditions such as mind-body dualism, a substance-theory of mind, a non-reductionist view of personal identity, the notion of 'a minimal self', the persistence of the phenomenal 'now' etc." "In this connection the author presents and evaluates a number of arguments pertaining to the view that, even though an individual mind may contain outward-directed functions that allow it to relate to physical and social surroundings, it has an ontologically peculiar self-enclosed mode of being relative to the physical world. Hereby an understanding of 'the ontology of mind' is achieved, which indicates the possibility of a revival of some old and extremely important metaphysical questions which are commonly and unjustly neglected - for instance the transcendent problem of death." --Book Jacket. (shrink)

In this paper I: (1) Describe something of the present situation in the United States and briefly contrast this with the state of affairs in other nations of the industrialised world. I emphasise health care but also allude to other social conditions: health care is merely one institution of a society and, just as do its other institutions, the system of health care reflects the basic world-view of that society. (2) Sketch the world-view and the philosophy which underwrites the use (...) of a market system in distributing what are acknowledged to be critically important social goods like health care and higher education. I show that a well-functioning market can indeed be useful when it comes to distributing some, but not when distributing other goods. (3) Suggest that when competition and the market are used to ‘regulate’ health care, technology—instead of being used to benefit patients—is apt to be used primarily to maximise individual profit: it becomes a weapon between what is often painted as ‘warfare’ among health care providers and institutions. I argue that this state of affairs is based on an undue emphasis upon the demands of individual freedom to the detriment of the community. Finally (4) I suggest an alternative approach to balancing individual with communal interests, an approach which is neither based on a predominance of one with neglect of the other, nor on a dialectic balance between them, but rather upon an approach which sees both individual and communal interests as modifying forces in a complex homeostatic balance. Individual success, in any civilised sense of the term, is possible only in a viable and well-functioning community, and a well-functioning community is not possible without individual success: the two are inevitably interdependent and linked. (shrink)

Erhics committees and ethics consultants are becoming more involved in helping individuals make decisions and in advising institutions and legislatures about drafting policy. The role of these committees and consultants has been acknowledged in law, and their function is generally considered salutory and helpful. Ethics consultants and committees, furthermore, play a critical role in educating students and members of the hospital community and the public at large. More over, many ethicists engage in scholarky activities to expand the boundaries of our (...) understanding and, in turn, facilitate our capacity for helping. The role of the ethicist and of the ethics committee is thus manifold. Ethics committees and ethics consultants somehow “in competition” is a mistaken notion: when ethics committees, ethics consultants, and the community work smoothly together, much good can be accomplished. (shrink)

We establish a general hierarchy theorem for quantifier classes in the infinitary logic L∞ωωon finite structures. In particular, it is shown that no infinitary formula with bounded number of universal quantifiers can express the negation of a transitive closure.This implies the solution of several open problems in finite model theory: On finite structures, positive transitive closure logic is not closed under negation. More generally the hierarchy defined by interleaving negation and transitive closure operators is strict. This proves a conjecture of (...) Immerman.We also separate the expressive power of several extensions of Datalog, giving new insight in the fine structure of stratified Datalog. (shrink)

Bioethics and its offspring Health-care Ethics have a variety ofuses and obligations among which and perhaps most importantly istheir social obligation. This paper raises questions as toBioethics fulfilling the necessary criteria for a profession,suggests that it can serve as a link between individual andcommunal problems, discusses the task of health-care ethics as well as ways of teaching it, lists some of the obligationsof health-care ethics professionals and discusses the dangers to and failings of these health-care professionals today. Itconcludes that we (...) are at a crossroads in which we must choosebetween our own personal security and comfort and fulfilling our social role. (shrink)

This paper examines the role of the physician in a pluralistic community. A personal and communal sense of identity must resolve a vast array of often conflicting backgrounds and contexts in order to function smoothly. Physicians are neither entitled to impose their own moral views on their patients nor expected to surrender their own moral agency. Several illustrative cases are given. The solution of inevitable conflicts is embodied within the context of the situation, but since irreconcilable differences remain, a resolution (...) is not always possible. Tolerance for such differences and ways of dealing with them allows the integrity of both parties to remain intact. (shrink)

One of Gottlob Frege’s most original contributions to logic and philosophy was his logical notation, his ‘Begriffsschrift’. While long criticized, dismissed, or simply ignored, the recent secondary literature contains some helpful re-evaluations and partial defenses of it. These rely largely on technical, pragmatic, or cognitive-psychological considerations. In this paper, we reconsider Frege’s own reasons for valuing his notation highly. We argue that there is a further semiotic dimension, one that matters epistemologically. This dimension becomes evident once one takes seriously, partly (...) also literally, some striking visual metaphors Frege uses. The result is an interpretation highlighting a side of Frege’s position that is not widely known. It involves his views about the indispensable role that language, or sign systems more generally, play for human thought, and especially, for logic and mathematics. More particularly and as we read Frege, a good logical notation allows for expressing conceptual/inferential relations in a ‘visually inscribed’, thus ‘perspicuous’ way, and this leads to a special kind of ‘insight’ in mathematics. Or as we elaborate this point further, it involves a kind of articulation and understanding hardly possible without it. Frege designed his Begriffsschrift with that specific goal in mind. (shrink)

An ‘ideal’ health care system would be unencumbered by economic considerations and provide an ample supply of well-paid health care professionals who would supply culturally appropriate optimal health care to the level desired by patients. An ‘ideal’ health care system presupposes an ‘ideal’ society in which resources for all social goods are unlimited. Changes within health care systems occur both because of changes within the system and because of changes or demands in and by the ‘exterior environment’. Social systems must (...) be in a homeostatic balance. If one component fails to accommodate itself to other forces, needs and interests within the system, the system is imperiled. It is difficult to create a just health care system in an unjust society, just as it is difficult to practise truly ethical medicine in an ethically corrupt system. (shrink)

This paper sets out to examine the integrity and professional standing of “Bioethics.” It argues that professions have certain responsibilities that start with setting criteria for and credentialing those that have met the criteria and goes on to ultimately have social responsibilities to the community. As it now stands we claim that Bioethics—while it certainly has achieved some progress in the way medicine has developed—has failed to become a profession and has to a large extent failed in its social responsibility. (...) We feel that Bioethics has to define itself, set criteria for membership in the profession, police itself and—above all—meet its social responsibility to become a profession meriting that name. (shrink)

In this paper I argue that, since institutions must reflect the societies in which they are placed, a socialist health-care system cannot be understood unless democratic socialism—which would assure all of basic necessities of existence, full education and health-care to all members of the community—is not incompatible with a flourishing market for other products. In contrasting single with multiple tiered health care systems, I suggest that a single tiered system in which all have equal access to health care and none (...) can buy more, is most consistent with the ideals of democratic socialism. (shrink)

In her paper "(White) Tyranny and the Democratic Value of Distrust," Meena Krishnamurthy argues that distrust has a political value that has often been overlooked by democratic theorists. She pursues this argument by developing an account of distrust from Martin Luther King Jr. and exploring the role that King's distrust played in the Black Civil Rights Movement. In this discussion note, I argue that an alternative account of distrust from recent work by Katherine Hawley can better capture distrust 's democratic (...) value, and moreover might reveal how that value is noninstrumental, in contrast with the contingent and instrumental value granted to distrust on Krishnamurthy's account. (shrink)

Typical puzzles for de se attitudes by Perry and Lewis are laid out and contrasted with the original version of Jackson's Knowledge Argument. It is argued, from an epistemic perspective, that de se attitudes can be explained by looking at the way internal/introspective knowledge is formed without resorting to acquaintance or making assumptions about the Mind/Body problem.

At the end of the most violent century in human history, it is good to take stock of our commitments to human and other life forms, as well as to examine the rights and the duties that might flow from their biological makeup. Professor Thomasma and Professor Loewy have held a long-standing dialogue on whether there are moral differences between animals and humans. This dialogue was occasioned by a presentation Thomasma made some years ago at Loewy's invitation at the University (...) of Illinois, Peoria, Medical Center. During that presentation, Thomasma argued that human beings are sufficiently distinct from other animals genetically and otherwise to justify a moral difference in rights and obligations. In effect, he argued that there are species-specific rights. This essay will pick up the threads of that dialogue. (shrink)

In first order logic without equality, but with arbitrary relations and functions the ∃*∀∃* class is the unique maximal solvable prefix class. We show that the satisfiability problem for this class is decidable in deterministic exponential time The result is established by a structural analysis of a particular infinite subset of the Herbrand universe and by a polynomial space bounded alternating procedure.